Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol

نویسندگان

  • Laila Daniel
  • Matti Luukkainen
  • Markku Kojo
چکیده

We have used SDL to support the design and implementation of SLACP, a novel logical link layer protocol to enhance the performance of TCP over wireless WAN links. The protocol was modeled in SDL and successive refinements of its design were carried out based on feedback obtained from using the validation facilities of Telelogic Tau 4.4 SDT.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Design and Implementation of Radio Link Control as a Part of the WCDMA Radio Interface Protocols by using SDL

The Universal Mobile Telecommunication System (UMTS) is the most powerful technology in the third generation (3G) mobile communication and it is the base for the 4G technology. The Wide band Code Division Multiple Accessing (WCDMA) is the radio access technique for the UMTS system. The Radio Link Control (RLC) Protocol is apart from layer 2 of WCDMA protocol architecture. In this paper, we pres...

متن کامل

Embedded system protocol design flow based on SDL: from specification to hardware/software implementation

SDL (Specification and Description Language) is popular for communication protocol design. SDL tools allow simulating and verifying SDL models. In this paper, we show how SDL models can be transformed into hardware/software implementations for embedded systems. Our design flow contains a lightweight operating system integration layer and a cosimulation framework that supports hardware/software ...

متن کامل

Multi-channel Medium Access Control Protocols for Wireless Sensor Networks: A Survey

Extensive researches on Wireless Sensor Networks (WSNs) have been performed and many techniques have been developed for the data link (MAC) layer. Most of them assume single-channel MAC protocols. In the usual dense deployment of the sensor networks, single-channel MAC protocols may be deficient because of radio collisions and limited bandwidth. Hence, using multiple channels can significantly ...

متن کامل

Multi-channel Medium Access Control Protocols for Wireless Sensor Networks: A Survey

Extensive researches on Wireless Sensor Networks (WSNs) have been performed and many techniques have been developed for the data link (MAC) layer. Most of them assume single-channel MAC protocols. In the usual dense deployment of the sensor networks, single-channel MAC protocols may be deficient because of radio collisions and limited bandwidth. Hence, using multiple channels can significantly ...

متن کامل

Web-based system for learning of communication protocols

The paper introduces a new web-based system that provides on-line access to software source codes developed using the Specification and Description Language (SDL). The purpose of this web system is to support the teaching of protocol techniques by offering practical examples of protocol implementation. However, examples developed in low-level languages such as C++ do not clearly describe the co...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005